#include<stdio.h>
#include<string.h>
void swap(char a,char b){
	int temp;
	if(b>a){
		temp=a;
		a=b;
		b=temp;
		
	}
}
int main(){
	char s[100][500],c[500];
	int i=1;
	while(scanf("%s")!='^z'){
		getchar();
		scanf("%s",&s[i]);
		int len=strlen(s[i]);
		for(int j=0;j<len;j++){
			if(s[i][j]==' '){
				if(s[i][j+1]==' '){
					s[i][j+1]=s[i][j+2];
				}
			}
		}
		i++;
	}
	for(int p=1;p<=i;p++){
		int len1=strlen(s[p]);
		int len2=strlen(s[p+1]);
		for(int j=0;j<len1;j++){
			if(s[p][j]>='0'&&s[p][j]<='9'){
				for(int m=0;m<len2;m++){
					if(s[p+1][m]>='0'&&s[p+1][m]<='9'){
						if(s[p][j]<s[p+1][m]){
							swap(s[p],s[p+1]);
						}
					}
				}
			}
		}
	}
	for(int p=1;p<=i;p++){
		printf("[%d]%s\n",p,s[p]);
	}
	return 0;
} 
